41. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
المؤلف: / Edited by C. Bohm
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
رده :
QA
905
.
L35
42. Category theory and computer science :
المؤلف: D.H. Pitt [and others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
رده :
QA75
.
5
.
S86
1991
43. Certified programs and proofs :
المؤلف: Jean-Pierre Jouannaud, Zhong Shao (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
44. Coalgebraic methods in computer science :
المؤلف: Corina Cîrstea (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
45. Computational complexity : proceedings : 17th IEEE Annual Conference on Computational Complexity : 21-24 May, 2002, Montreal, Canada
المؤلف: Sponsored by IEEE Computer Society Techninal Committee on Mathematical Foundation of Computing; in cooperation with SIGACT...
المکتبة: (طهران)
موضوع: Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2002
46. Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
المؤلف: sponsored by The IEEE Computer Society, Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
المکتبة: (طهران)
موضوع: Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2001
47. Computational linguistics and intelligent text processing
المؤلف: / Alexander Gelbukh (ed.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
48. Computational logic in multi-agent systems :
المؤلف: João Leite [and others] (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
9
.
L63
C55
2011
49. Computational logic in multi-agent systems :
المؤلف: João Leite [and 4 others] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational intelligence, Congresses,Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
C55
2013
50. Computational matter /
المؤلف: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
51. Computational pathology and ophthalmic medical image analysis :
المؤلف: Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
52. [Computer aided systems theory] [revised selected papers]
المؤلف: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
53. Computer performance engineering :
المؤلف: Nigel Thomas (edition)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2011
54. Computer science logic :
المؤلف: Hans Kleine Büning (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
55. Computer supported education :
المؤلف: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
56. Conceptual modeling--ER 2011 :
المؤلف: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
57. Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
المؤلف: Harry S. Delugach, Gerd Stumme, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Conceptual structures )Information theory(,Congresses ، Graph theory,Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
2120
58. Conceptual structures, current practices :
المؤلف: John F Sowa
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Conceptual structures (Information theory) -- Congresses.,Graph theory -- Congresses.,Knowledge representation (Information theory) -- Congresses.
رده :
Q387
.
J646
1994
59. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
المؤلف: Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
